f[x:=v](y) == if eq(y,x) v else f(y) fi 

latex

---

clarification:

update(eq;f;x;v)(y) == if eq(y,x) v else f(y) fi 

latex

Definitions	if b t else f fi
FDL editor aliases	update